integrate sec^2 (log (x))